81. Parallel computing technologies :
Author: Victor Malyshkin (ed.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Parallel computers, Congresses,Parallel processing (Electronic computers), Congresses
Classification :
QA76
.
58
82. Practical TLA+ :
Author: Hillel Wayne.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Programming languages (Electronic computers),SDL (Computer program language),Computer programming-- software development.,COMPUTERS-- Programming Languages-- General.,Programming & scripting languages: general.,Programming languages (Electronic computers),SDL (Computer program language),Software Engineering.
Classification :
QA76
.
7
83. Practical foundations for programming languages /
Author: Robert Harper
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Programming languages (Electronic computers)
Classification :
QA76
.
7
.
H377
2013
84. Pro Android with Kotlin :
Author: Peter Späth.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Android (Electronic resource),Android (Electronic resource),Application software-- Development.,Mobile apps.,Application software-- Development.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Mobile & handheld device programming-- Apps programming.,Mobile apps.,Programming & scripting languages: general.,WAP (wireless) technology.
Classification :
QA76
.
59
.
S63
2018
85. Programming language processors: compilers and interpreters
Author: Watt, David Anthony
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Programming languages )Electronic computers(,، Compilers )Computer programs(,، Translators )Computer programs(
Classification :
QA
76
.
7
.
W398
1993
86. Programming languages : an interpreter- based approach
Author: Kamin, Samuel N.
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Programming languages )Electronic computers(,، Interpreters )Computer programs(
Classification :
QA
76
.
7
.
K35
1990
87. Programming languages and systems :
Author: Hongseok Yang (edition)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Programming languages (Electronic computers), Congresses,Software engineering, Congresses
Classification :
QA76
.
7
.
A65
2011
88. Programming languages and systems :
Author: Amal Ahmed (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming, Congresses.,Programming languages (Electronic computers), Congresses.,Computer programming.,Computer science.,Computers / Programming.,Programming languages (Electronic computers)
Classification :
QA76
.
6
89. Programming languages and systems :
Author: Gilles Barthe (edition)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming, Congresses,Programming languages (Electronic computers), Congresses,Software engineering, Congresses
Classification :
QA76
.
6
.
E97
2011
90. Programming languages and systems :
Author: Sukyoung Ryu (ed.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming, Congresses.,Programming languages (Electronic computers), Congresses.,Artificial intelligence.,Computer programming-- software development.,Computer programming.,Computer science.,Computers-- Computer Science.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Programming & scripting languages: general.,Programming languages (Electronic computers),Software Engineering.,Systems analysis & design.
Classification :
QA76
.
7
91. Programming languages : implementations, logics and programs: 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996 : proceedings
Author: Herbert Kuchen, S. Doaitse Swierstra )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Programming languages )Electronic computers(,Congresses ، Logic programming
Classification :
QA
76
.
L28
Vol
.
1140
92. Programming languages : implementations, logics and programs : 7th International Symposium, PLILP'95 Utrecht, The Netherlands, September 20 - 22, 1995 : proceedings
Author: Manuel Hermenegildo, S. Doaitse Swierstra )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Programming languages )Electronic computers(,Congresses ، Logic programming
Classification :
QA
76
.
L28
Vol
.
982
93. Programming languages : implementations, logics, and programs : 9th International Symposium, PLILP'97, including a special track on declarative programming languages in education, Southampton, UK, September 1-3, 1997 proceedings
Author: Hugh Glaser, Pieter Hartel, Herbert Kuchen, eds
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Programming languages )Electronic computers(,Congresses ، Computer programming
Classification :
QA
76
.
L28
Vol
.
1292
94. Python by example :
Author: Nichola Lacey, Nichola Wilkin Ltd
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Programming languages (Electronic computers),Python (Computer program language),COMPUTERS-- General.,Programming languages (Electronic computers),Python (Computer program language)
Classification :
QA76
.
73
.
P98
L33
2019eb
95. Python in a nutshell
Author: Martelli, Alex
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Python )Computer program language(,، Scripting languages )Computer science(,، COMPUTERS / Programming Languages / Python,، COMPUTERS / Programming / Object Oriented,، COMPUTERS / Reference,، Scripting languages )Computer science(,، Python )Computer program language(,، Python 2.7,، Python 3.5,، Python 3.6
Classification :
QA
76
.
73
.
P98
M378
2017
96. Realistic compiler generation
Author: Lee, Peter
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Compilers )Computer programs(,، Programming languages )Electronic computers(--Semantics
Classification :
QA
76
.
76
.
C65
.
L44
1989
97. Semantic techniques in quantum computation /
Author: edited by Simon Gay, Ian Mackie.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Programming languages (Electronic computers)-- Semantics.,Quantum computers.,Quantum theory.,COMPUTERS-- Hardware-- Mainframes & Minicomputers.,Programmiersprache,Programming languages (Electronic computers)-- Semantics.,Quantencomputer,Quantum computers.,Quantum theory.,Semantik
Classification :
QA76
.
889
.
S36
2010
98. Semantics-directed compiler generation : proceedings of a Workshop, Aarhus, Denmark, January 1980
Author: edited by Neil D. Jones
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Compilers )Computer programs(,Congresses ، Programming languages )Electronic computers( -- Semantics
Classification :
QA
76
.
L28
Vol
.
94
99. Semantics-directed compiler generation : proceedings of a workshop, Aarhus, Denmark, January, 1980
Author: edited by Neil D. Jones
Library: Central Library and Documentation Center (Kerman)
Subject: ، Compilers )Computer programs(,، Programming languages )Electronic computers( - Semantics
Classification :
QA
1
.
L4
v
.
94
100. Semantics of concurrent computation :
Author: edited by Gilles Kahn.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Parallel processing (Electronic computers) -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Traitement simultané (Ordinateurs) -- Congrès.
Classification :
QA76
.
6
E358
1979
